The "go to" statement in rules provides a mechanism for informing the user of a conclusion. As with facts requiring queries, you must include cards with names matching those in "go to" statements. When the inference engine encounters a
"go to" statement, it will go to the specified card. To resume the inference process after the system displays a "go to" card, you must execute the "chain" XCMD.